Nuprl Definition : singleton 2,24

{a:T} == {x:Tx = a } 
latex



clarification:

{a:T} == {x:Tx = a  T } 
latex


FDL editor aliasessingleton

origin